" Roberto Segala" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

The Theory of Timed I O Automata, Second Edition (Synthesis Lectures on Distributed Computing Theory)

Dilsun Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager

739 Kb

#2

Process Algebra and Probabilistic Methods, Performance Modeling and Verification, 2 conf., PAPM-PROBMIV 2002

Holger Hermanns, Roberto Segala

Категория: Cs_Computer science, CsLn_Lecture notes

2.32 Mb

#3

The Theory of Timed I/O Automata

Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager

Категория: English литература

2.16 Mb